The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·5d
🔮Proof Search
HigherOrderCO/HVM3
github.com·7h
🔗Functional Compilers
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
💻Programming languages
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·11h·
Discuss: Hacker News
🕸️Neo4j
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·4d·
Discuss: r/programming
🔤Type Theory
A better for loop?
cirw.in·1d
🦀Rust Macros
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
LangExtract + Knowledge Graph— Google’s New Library for NLP Tasks
dev.to·1d·
Discuss: DEV
📄Text Chunking
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·21h·
Discuss: Hacker News
🔗Concatenative Programming
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
Lisp in 99 Lines of C With TinyLisp
hackaday.com·3d
🔗Lisp
Racket 8.18 Released
blog.racket-lang.org·1d·
Discuss: Hacker News
🧠Lisp Dialects